<?php
/**
 * An exception class for database errors.
 */
class Database_Exception extends Exception {
}
?>